badrecord is package{
  type p is p{a has type integer; b has type string};
  
  badFun(p(A,X)) is A;
}
 